[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

410 358 3384 0 0 0 0 0 0

N.S.

1 0.87 8.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.578 4.077 0.000 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 115 767 344 1966 295 712 198 474

N.S.

1 0.82 5.44 2.44 13.94 2.09 5.05 1.40 3.36

time (sec)

N/A 0.316 0.497 0.902 0.295 0.302 5.086 0.456 2.856

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 219 444 483 848 373 892 371 507

N.S.

1 0.74 1.50 1.63 2.86 1.26 3.01 1.25 1.71

time (sec)

N/A 0.327 0.227 0.973 0.228 0.305 2.210 0.438 2.881

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

375 351 290 769 2116 545 1488 672 984

N.S.

1 0.94 0.77 2.05 5.64 1.45 3.97 1.79 2.62

time (sec)

N/A 0.832 0.466 1.368 0.337 0.302 4.201 0.470 4.861

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

525 366 453 1080 4188 1008 0 0 1505

N.S.

1 0.70 0.86 2.06 7.98 1.92 0.00 0.00 2.87

time (sec)

N/A 0.591 0.665 2.782 0.499 0.339 0.000 0.000 7.474

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

685 478 611 1396 5583 1517 0 0 2155

N.S.

1 0.70 0.89 2.04 8.15 2.21 0.00 0.00 3.15

time (sec)

N/A 0.663 0.877 2.337 0.545 0.409 0.000 0.000 11.142

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

851 596 793 1708 9282 2257 0 0 3550

N.S.

1 0.70 0.93 2.01 10.91 2.65 0.00 0.00 4.17

time (sec)

N/A 0.719 1.281 7.752 1.084 0.437 0.000 0.000 15.415

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 197 269 1195 1118 720 0 3945 1237

N.S.

1 0.88 1.21 5.36 5.01 3.23 0.00 17.69 5.55

time (sec)

N/A 0.440 0.161 11.437 0.217 0.476 0.000 1.234 2.406

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 173 225 876 740 529 1013 2571 663

N.S.

1 0.91 1.18 4.61 3.89 2.78 5.33 13.53 3.49

time (sec)

N/A 0.408 0.121 5.002 0.207 0.427 84.025 1.317 1.813

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 145 189 507 393 309 643 1276 295

N.S.

1 0.97 1.27 3.40 2.64 2.07 4.32 8.56 1.98

time (sec)

N/A 0.365 0.182 1.716 0.197 0.368 19.632 0.659 1.533

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 81 74 250 156 162 382 580 134

N.S.

1 0.94 0.86 2.91 1.81 1.88 4.44 6.74 1.56

time (sec)

N/A 0.252 0.014 0.685 0.195 0.354 5.086 0.462 1.290

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

141 134 172 0 276 0 0 0 0

N.S.

1 0.95 1.22 0.00 1.96 0.00 0.00 0.00 0.00

time (sec)

N/A 0.662 0.084 0.000 0.482 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 142 189 0 0 0 0 0 0

N.S.

1 0.95 1.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.510 0.102 0.000 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 76 216 237 582 250 1360 100 204

N.S.

1 0.85 2.43 2.66 6.54 2.81 15.28 1.12 2.29

time (sec)

N/A 0.252 0.103 5.162 0.204 0.372 80.892 0.784 1.984

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 143 196 455 945 478 0 234 374

N.S.

1 0.79 1.08 2.51 5.22 2.64 0.00 1.29 2.07

time (sec)

N/A 0.326 0.278 10.203 0.217 0.381 0.000 1.077 2.117

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 211 220 986 1398 773 0 394 610

N.S.

1 0.75 0.78 3.51 4.98 2.75 0.00 1.40 2.17

time (sec)

N/A 0.397 0.322 27.713 0.247 0.346 0.000 1.363 2.435

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

442 388 441 1761 1978 1074 0 5133 2555

N.S.

1 0.88 1.00 3.98 4.48 2.43 0.00 11.61 5.78

time (sec)

N/A 0.626 0.256 24.523 0.240 0.598 0.000 1.803 2.807

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

352 311 374 1274 1336 774 0 3352 1328

N.S.

1 0.88 1.06 3.62 3.80 2.20 0.00 9.52 3.77

time (sec)

N/A 0.520 0.180 11.129 0.227 0.445 0.000 1.271 2.106

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 234 224 837 740 530 1054 1997 661

N.S.

1 0.94 0.90 3.35 2.96 2.12 4.22 7.99 2.64

time (sec)

N/A 0.404 0.129 4.756 0.204 0.397 83.821 1.003 1.784

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 109 101 463 309 297 656 990 303

N.S.

1 0.88 0.81 3.73 2.49 2.40 5.29 7.98 2.44

time (sec)

N/A 0.275 0.019 1.958 0.196 0.338 18.637 0.647 1.401

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

289 319 264 0 580 0 0 0 0

N.S.

1 1.10 0.91 0.00 2.01 0.00 0.00 0.00 0.00

time (sec)

N/A 0.886 0.130 0.000 0.487 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 235 233 0 1190 0 0 0 0

N.S.

1 0.91 0.90 0.00 4.59 0.00 0.00 0.00 0.00

time (sec)

N/A 0.515 0.141 0.000 0.467 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

242 215 258 0 0 0 0 0 0

N.S.

1 0.89 1.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.761 0.198 0.000 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 78 329 376 1544 409 0 108 421

N.S.

1 0.84 3.54 4.04 16.60 4.40 0.00 1.16 4.53

time (sec)

N/A 0.282 0.192 9.999 0.250 0.327 0.000 1.554 2.226

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 145 474 855 2247 710 0 250 652

N.S.

1 0.77 2.51 4.52 11.89 3.76 0.00 1.32 3.45

time (sec)

N/A 0.358 0.258 27.074 0.302 0.370 0.000 1.978 2.683

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 215 357 1049 3058 1087 0 418 954

N.S.

1 0.73 1.22 3.58 10.44 3.71 0.00 1.43 3.26

time (sec)

N/A 0.430 0.560 57.556 0.351 0.369 0.000 2.578 3.365

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

477 414 631 2179 2901 1336 0 5934 4476

N.S.

1 0.87 1.32 4.57 6.08 2.80 0.00 12.44 9.38

time (sec)

N/A 0.652 0.369 50.102 0.278 0.929 0.000 2.503 3.060

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

387 337 441 1721 1978 1075 0 4300 2547

N.S.

1 0.87 1.14 4.45 5.11 2.78 0.00 11.11 6.58

time (sec)

N/A 0.537 0.223 25.411 0.251 0.664 0.000 1.781 2.835

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 260 269 1119 1118 721 0 2584 1234

N.S.

1 0.92 0.95 3.95 3.95 2.55 0.00 9.13 4.36

time (sec)

N/A 0.425 0.142 11.618 0.227 0.448 0.000 1.179 2.328

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 133 124 652 479 429 945 1402 588

N.S.

1 0.85 0.79 4.18 3.07 2.75 6.06 8.99 3.77

time (sec)

N/A 0.301 0.029 4.810 0.207 0.378 78.682 0.801 1.552

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

373 478 368 0 935 0 0 0 0

N.S.

1 1.28 0.99 0.00 2.51 0.00 0.00 0.00 0.00

time (sec)

N/A 1.339 0.182 0.000 0.499 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

390 343 394 0 1785 0 0 0 0

N.S.

1 0.88 1.01 0.00 4.58 0.00 0.00 0.00 0.00

time (sec)

N/A 0.596 0.240 0.000 0.496 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

361 309 331 0 2746 0 0 0 0

N.S.

1 0.86 0.92 0.00 7.61 0.00 0.00 0.00 0.00

time (sec)

N/A 0.558 0.230 0.000 0.573 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

326 286 326 0 0 0 0 0 0

N.S.

1 0.88 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.986 0.254 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

269 315 370 0 1003 0 0 3832 0

N.S.

1 1.17 1.38 0.00 3.73 0.00 0.00 14.25 0.00

time (sec)

N/A 0.717 0.182 0.000 0.494 0.000 0.000 189.494 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

211 238 266 0 627 0 0 2499 0

N.S.

1 1.13 1.26 0.00 2.97 0.00 0.00 11.84 0.00

time (sec)

N/A 0.567 0.121 0.000 0.500 0.000 0.000 130.459 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 154 170 0 306 0 0 1242 0

N.S.

1 1.15 1.27 0.00 2.28 0.00 0.00 9.27 0.00

time (sec)

N/A 0.395 0.079 0.000 0.509 0.000 0.000 78.291 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 85 101 0 0 0 0 566 0

N.S.

1 1.06 1.26 0.00 0.00 0.00 0.00 7.08 0.00

time (sec)

N/A 0.516 0.025 0.000 0.000 0.000 0.000 54.287 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 219 84 175 74 0 92 76

N.S.

1 1.00 4.38 1.68 3.50 1.48 0.00 1.84 1.52

time (sec)

N/A 0.297 0.074 1.456 0.203 0.317 0.000 0.426 2.428

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 134 304 269 427 194 0 0 239

N.S.

1 0.74 1.68 1.49 2.36 1.07 0.00 0.00 1.32

time (sec)

N/A 0.397 0.169 4.793 0.216 0.310 0.000 0.000 2.798

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 204 434 628 888 483 0 104 573

N.S.

1 0.77 1.63 2.36 3.34 1.82 0.00 0.39 2.15

time (sec)

N/A 0.451 0.216 11.918 0.252 0.312 0.000 104.068 3.080

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

389 275 518 1072 1472 859 0 232 986

N.S.

1 0.71 1.33 2.76 3.78 2.21 0.00 0.60 2.53

time (sec)

N/A 0.509 0.383 25.467 0.290 0.393 0.000 139.847 3.893

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

359 322 375 0 1892 0 0 3072 0

N.S.

1 0.90 1.04 0.00 5.27 0.00 0.00 8.56 0.00

time (sec)

N/A 0.666 0.249 0.000 0.490 0.000 0.000 295.165 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

275 242 252 0 1273 0 0 1898 0

N.S.

1 0.88 0.92 0.00 4.63 0.00 0.00 6.90 0.00

time (sec)

N/A 0.515 0.144 0.000 0.485 0.000 0.000 221.565 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

168 154 183 0 0 0 0 906 0

N.S.

1 0.92 1.09 0.00 0.00 0.00 0.00 5.39 0.00

time (sec)

N/A 0.360 0.113 0.000 0.000 0.000 0.000 142.033 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 77 114 81 136 105 444 91 113

N.S.

1 0.75 1.12 0.79 1.33 1.03 4.35 0.89 1.11

time (sec)

N/A 0.217 0.031 2.079 0.187 0.305 11.438 0.557 1.437

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 119 304 269 424 196 0 208 241

N.S.

1 0.72 1.83 1.62 2.55 1.18 0.00 1.25 1.45

time (sec)

N/A 0.383 0.159 4.760 0.207 0.328 0.000 1.046 1.491

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 192 342 666 862 450 0 96 432

N.S.

1 0.70 1.25 2.44 3.16 1.65 0.00 0.35 1.58

time (sec)

N/A 0.403 0.252 9.417 0.219 0.340 0.000 106.593 2.063

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

380 267 478 977 1724 946 0 238 1016

N.S.

1 0.70 1.26 2.57 4.54 2.49 0.00 0.63 2.67

time (sec)

N/A 0.508 0.385 28.773 0.290 0.374 0.000 137.129 3.973

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

477 329 549 1910 2563 1458 0 401 1665

N.S.

1 0.69 1.15 4.00 5.37 3.06 0.00 0.84 3.49

time (sec)

N/A 0.471 0.717 44.855 0.362 0.426 0.000 180.849 6.581

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

382 321 334 0 2894 0 0 0 0

N.S.

1 0.84 0.87 0.00 7.58 0.00 0.00 0.00 0.00

time (sec)

N/A 0.602 0.246 0.000 0.550 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

263 229 259 0 0 0 0 0 0

N.S.

1 0.87 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.429 0.202 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 76 215 237 578 250 1328 101 205

N.S.

1 0.85 2.42 2.66 6.49 2.81 14.92 1.13 2.30

time (sec)

N/A 0.254 0.102 4.635 0.198 0.318 111.169 0.804 1.930

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 142 115 272 259 266 2103 207 221

N.S.

1 0.94 0.76 1.80 1.72 1.76 13.93 1.37 1.46

time (sec)

N/A 0.323 0.075 4.592 0.196 0.338 108.219 0.770 1.570

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 192 434 628 888 487 0 418 573

N.S.

1 0.76 1.71 2.47 3.50 1.92 0.00 1.65 2.26

time (sec)

N/A 0.411 0.211 11.281 0.232 0.333 0.000 1.516 3.368

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 266 477 962 1724 949 0 0 1018

N.S.

1 0.70 1.25 2.52 4.52 2.49 0.00 0.00 2.67

time (sec)

N/A 0.441 0.386 28.546 0.300 0.377 0.000 0.000 4.070

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

483 335 561 1450 2383 1416 0 0 1341

N.S.

1 0.69 1.16 3.00 4.93 2.93 0.00 0.00 2.78

time (sec)

N/A 0.481 0.683 53.995 0.328 0.433 0.000 0.000 4.597

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

587 407 671 2149 3819 2181 0 0 2400

N.S.

1 0.69 1.14 3.66 6.51 3.72 0.00 0.00 4.09

time (sec)

N/A 0.599 0.909 206.922 0.528 0.461 0.000 0.000 7.382

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

584 646 949 0 3764 0 0 0 0

N.S.

1 1.11 1.62 0.00 6.45 0.00 0.00 0.00 0.00

time (sec)

N/A 1.429 0.470 0.000 0.752 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

487 541 716 0 2691 0 0 0 0

N.S.

1 1.11 1.47 0.00 5.53 0.00 0.00 0.00 0.00

time (sec)

N/A 1.191 0.339 0.000 0.726 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

372 426 937 0 1542 0 0 0 0

N.S.

1 1.15 2.52 0.00 4.15 0.00 0.00 0.00 0.00

time (sec)

N/A 0.880 0.440 0.000 0.710 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 239 216 0 825 0 0 0 0

N.S.

1 1.09 0.98 0.00 3.75 0.00 0.00 0.00 0.00

time (sec)

N/A 0.619 0.075 0.000 0.692 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

306 288 1372 0 0 0 0 0 0

N.S.

1 0.94 4.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.047 0.588 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

261 234 1564 0 0 0 0 0 0

N.S.

1 0.90 5.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.910 1.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 122 801 530 2017 600 0 195 561

N.S.

1 0.81 5.30 3.51 13.36 3.97 0.00 1.29 3.72

time (sec)

N/A 0.335 0.502 4.830 0.315 0.345 0.000 1.705 3.313

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 238 1082 1099 3312 1167 0 501 993

N.S.

1 0.78 3.52 3.58 10.79 3.80 0.00 1.63 3.23

time (sec)

N/A 0.450 0.631 10.491 0.407 0.401 0.000 2.306 4.264

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

475 364 1319 2197 4838 1868 0 871 1794

N.S.

1 0.77 2.78 4.63 10.19 3.93 0.00 1.83 3.78

time (sec)

N/A 0.545 0.709 28.621 0.542 0.416 0.000 3.065 6.355

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

766 1003 1634 0 5952 0 0 0 0

N.S.

1 1.31 2.13 0.00 7.77 0.00 0.00 0.00 0.00

time (sec)

N/A 2.193 0.837 0.000 0.824 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

819 891 1254 0 4247 0 0 0 0

N.S.

1 1.09 1.53 0.00 5.19 0.00 0.00 0.00 0.00

time (sec)

N/A 2.066 0.595 0.000 0.782 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

635 702 713 0 2662 0 0 0 0

N.S.

1 1.11 1.12 0.00 4.19 0.00 0.00 0.00 0.00

time (sec)

N/A 1.491 0.365 0.000 0.737 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

361 376 303 0 1473 0 0 0 0

N.S.

1 1.04 0.84 0.00 4.08 0.00 0.00 0.00 0.00

time (sec)

N/A 0.936 0.073 0.000 0.718 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

572 529 2852 0 0 0 0 0 0

N.S.

1 0.92 4.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.983 2.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

472 396 2885 0 0 0 0 0 0

N.S.

1 0.84 6.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.720 2.779 0.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

417 353 3662 0 0 0 0 0 0

N.S.

1 0.85 8.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.386 4.478 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 127 1418 825 5588 975 0 216 1195

N.S.

1 0.81 9.03 5.25 35.59 6.21 0.00 1.38 7.61

time (sec)

N/A 0.374 1.184 9.980 0.517 0.346 0.000 3.773 3.734

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 240 1787 1884 8087 1729 0 541 1934

N.S.

1 0.75 5.60 5.91 25.35 5.42 0.00 1.70 6.06

time (sec)

N/A 0.495 1.625 27.470 0.727 0.384 0.000 4.546 5.310

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

493 366 2112 2528 10936 2633 0 931 3296

N.S.

1 0.74 4.28 5.13 22.18 5.34 0.00 1.89 6.69

time (sec)

N/A 0.584 1.798 56.947 1.021 0.470 0.000 6.304 7.852

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1172 1455 2448 0 7845 0 0 0 0

N.S.

1 1.24 2.09 0.00 6.69 0.00 0.00 0.00 0.00

time (sec)

N/A 3.516 1.847 0.000 0.833 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

976 1266 1627 0 5931 0 0 0 0

N.S.

1 1.30 1.67 0.00 6.08 0.00 0.00 0.00 0.00

time (sec)

N/A 3.021 0.837 0.000 0.784 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

786 1002 945 0 3724 0 0 0 0

N.S.

1 1.27 1.20 0.00 4.74 0.00 0.00 0.00 0.00

time (sec)

N/A 2.154 0.441 0.000 0.764 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

454 535 409 0 2129 0 0 0 0

N.S.

1 1.18 0.90 0.00 4.69 0.00 0.00 0.00 0.00

time (sec)

N/A 1.340 0.121 0.000 0.725 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

762 901 4969 0 0 0 0 0 0

N.S.

1 1.18 6.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.083 7.267 0.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

739 624 4818 0 0 0 0 0 0

N.S.

1 0.84 6.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.987 6.329 0.000 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

644 526 6938 0 0 0 0 0 0

N.S.

1 0.82 10.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.816 6.860 0.000 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

561 473 8570 0 0 0 0 0 0

N.S.

1 0.84 15.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.929 7.503 0.000 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

768 679 1072 0 0 0 0 0 0

N.S.

1 0.88 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.104 1.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

573 507 763 0 0 0 0 0 0

N.S.

1 0.88 1.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.811 0.813 0.000 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

303 280 1385 0 0 0 0 0 0

N.S.

1 0.92 4.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.523 0.556 0.000 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

137 128 268 0 0 0 0 0 0

N.S.

1 0.93 1.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.422 0.522 0.000 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

50 40 90 118 407 149 0 167 122

N.S.

1 0.80 1.80 2.36 8.14 2.98 0.00 3.34 2.44

time (sec)

N/A 0.339 0.166 1.438 0.219 0.319 0.000 0.552 2.600

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 152 793 509 1018 428 0 0 361

N.S.

1 0.76 3.98 2.56 5.12 2.15 0.00 0.00 1.81

time (sec)

N/A 0.460 0.449 4.862 0.266 0.338 0.000 0.000 2.554

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 274 975 1259 2126 1068 0 196 1011

N.S.

1 0.74 2.64 3.41 5.76 2.89 0.00 0.53 2.74

time (sec)

N/A 0.580 0.767 11.703 0.337 0.349 0.000 277.816 5.248

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

543 400 1295 2216 3445 1910 0 0 1921

N.S.

1 0.74 2.38 4.08 6.34 3.52 0.00 0.00 3.54

time (sec)

N/A 0.653 1.001 25.753 0.462 0.416 0.000 0.000 7.198

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

770 640 5850 0 0 0 0 0 0

N.S.

1 0.83 7.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.872 6.978 0.000 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

500 411 2859 0 0 0 0 0 0

N.S.

1 0.82 5.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.671 3.969 0.000 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 260 1570 0 0 0 0 0 0

N.S.

1 0.92 5.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.481 1.010 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 119 331 294 428 263 0 175 237

N.S.

1 0.73 2.03 1.80 2.63 1.61 0.00 1.07 1.45

time (sec)

N/A 0.278 0.235 2.163 0.205 0.326 0.000 0.994 1.988

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

231 151 789 509 1014 432 0 368 365

N.S.

1 0.65 3.42 2.20 4.39 1.87 0.00 1.59 1.58

time (sec)

N/A 0.531 0.403 5.056 0.265 0.361 0.000 0.900 1.956

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

392 281 870 1307 2006 983 0 185 0

N.S.

1 0.72 2.22 3.33 5.12 2.51 0.00 0.47 0.00

time (sec)

N/A 0.550 0.617 9.718 0.309 0.380 0.000 285.296 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

560 401 1340 2001 4198 2052 0 0 1784

N.S.

1 0.72 2.39 3.57 7.50 3.66 0.00 0.00 3.19

time (sec)

N/A 0.620 0.925 28.097 0.508 0.365 0.000 0.000 7.250

[next] [prev] [prev-tail] [front] [up]